由于 $S_n$ 单调不减, 故极限 $\nlim S_n$ 存在.

若上述概率不为 1, 则

从而有

与定理 2.10.1 相悖, 故推论 1 得证.